242.20/242.79	unsat
