26.74/27.92	unsat
