25.76/27.17	unsat
