4.27/6.88	unsat
