30.72/32.93	unsat
