27.75/27.90	unsat
