240.74/242.30	unsat
