5.02/6.00	unsat
