30.22/32.32	unsat
