24.73/28.82	unsat
