2.50/3.73	unsat
