240.64/243.09	unsat
