3.88/6.00	unsat
