240.71/242.16	unsat
