26.75/27.82	unsat
