31.22/32.93	unsat
