26.46/27.48	unsat
