24.73/27.60	unsat
