30.96/33.50	unsat
