4.28/6.00	unsat
