27.36/28.41	unsat
