31.58/32.28	unsat
