267.54/267.92	unsat
