242.03/242.74	unsat
