242.22/242.85	unsat
