242.00/242.50	unsat
