26.71/26.88	unsat
