30.23/32.08	unsat
