2.87/4.12	unsat
