32.04/34.81	unsat
