26.75/27.26	unsat
