30.63/32.91	unsat
