2.18/3.73	unsat
