27.74/28.47	unsat
