34.49/36.53	unsat
