31.46/32.54	unsat
