4.67/5.20	unsat
