240.72/243.23	unsat
