260.66/262.10	unsat
