239.67/243.22	unsat
