5.99/6.00	unsat
