240.04/242.21	unsat
