25.21/27.35	unsat
