239.97/242.38	unsat
