5.74/6.00	unsat
