30.02/33.50	unsat
