30.54/32.84	unsat
