30.91/32.63	unsat
