32.92/34.52	unsat
