30.98/33.60	unsat
