242.06/242.82	unsat
