28.00/28.77	unsat
