32.54/34.08	unsat
