30.93/32.54	unsat
