239.21/242.79	unsat
