240.10/242.43	unsat
