27.73/28.61	unsat
