242.81/244.73	unsat
