5.03/6.88	unsat
