2.79/3.88	unsat
