A non-clausal tableau calculus for MINSAT