4.88/6.37	unsat
