25.02/27.92	unsat
