2.88/3.73	unsat
