30.83/33.50	unsat
